distclean target added to root makefile. From rusty.

diff --git a/Makefile b/Makefile
index ea52d8c98c55cf5e0bb1e508dca98794ff64f22f..0310dc8f9d7f85dec9bcddf79e2ebc503042eb83 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -98,12 +98,15 @@ clean::
        $(MAKE) -C tools clean
        $(MAKE) -C docs clean
 
-# clean, but blow away kernel build tree plus tar balls
-mrproper: clean
+# clean, but blow away kernel build tree plus tarballs
+distclean: clean
        rm -rf dist patches/tmp
        for i in $(ALLKERNELS) ; do $(MAKE) $$i-delete ; done
        for i in $(ALLSPARSETREES) ; do $(MAKE) $$i-mrproper ; done
 
+# Linux name for GNU distclean
+mrproper: distclean
+
 install-logging: LOGGING=logging-0.4.9.2
 install-logging:
        [ -f $(LOGGING).tar.gz ] || wget http://www.red-dove.com/$(LOGGING).tar.gz
@@ -142,7 +145,7 @@ help:
        @echo 'Cleaning targets:'
        @echo '  clean            - clean the Xen, tools and docs (but not'
        @echo '                     guest kernel) trees'
-       @echo '  mrproper         - clean plus delete kernel tarballs and kernel'
+       @echo '  distclean        - clean plus delete kernel tarballs and kernel'
        @echo '                     build trees'
        @echo '  kdelete          - delete guest kernel build trees'
        @echo '  kclean           - clean guest kernel build trees'